1. Collected works
Author: Kurt Godel
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Logic, symbolic and mathematical
2. Collected works
Author: Godel, Kurt Friedrich, 6091-8791
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Collected works ، Logic, Symbolic and mathematical
Classification :
QA
9
.
G5313
3. Collected works, Works. English & German. 5891
Author: Godel, Kurt
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
G5313
1986
4. Collegium Logicum.
Author: Kurt Gödel Society.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.
5. Collegium Logicum.
Author: Kurt-Gödel-Gesellschaft
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
6. Obras completas
Author: Kurt Gödel; introducción y traducción de Jesús Mosterín.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lògica matemàtica.
Classification :
QA9
.
65
K878
2006
7. On formally undecidable propositions of Principia mathematica and related systems
Author: Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Geodel's theorem
8. On formally undecidable propositions of Principia mathematica and related systems
Author: Godel, Kurt.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Godel's theorem
Classification :
QA
248
.
G573
1992
9. On formally undecidable propositions of principia mathematica and related systems
Author: Godel, Kurt Friedrich, 6091-8791
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem
Classification :
QA
9
.
65
.
G63U213
10. Scritti scelti :
Author: Kurt Gödel ; a cura di Gabriele Lolli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logica matematica.
11. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
Author: / Kurt Godel
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematics-philosophy,Logic,Symbolic and mathematical
Classification :
QA
9
.
G54
12. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
Author: Godel, Kurt
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
G54
1953
13. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
Author: Godel, Kurt
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
G54
1968
14. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Author: Godel, Kurt
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
1
.
A626
no
.
3
15. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Author: /by Kurt Godel.,گودل,Godel
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: ریاضیات,منطق ریاضی, -- فلسفه
Classification :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
16. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Author: Godel, kurt
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics-Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
G54
1966
17. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Author: Godel, Kurt.
Library: Central library and information center (Khorasan Razavi)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
G54
1940
18. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
Author: Godel, Kurt
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics-philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
G54
1968
19. ناتماميت
Author: / ربکا گلدستين,عنوان اصلي: Incompleteness : the proof and paradox of Kurt Godel, c2005,گلدستاين,Goldstein
Library: Central library of astan quds razavi (Khorasan Razavi)
Subject: گودل، کورت، ۱۹۰۶ - ۱۹۷۸م,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضيه,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria
Classification :
۵۱۰
/
۹۲
گ
۷۴۹
/
نگ
20. ناتمامیت: اثبات و پارادوکس کرت گودل
Author: / ربکا گلدستین,عنوان اصلی: Incompleteness : the proof and paradox of Kurt Gödel, c2005.,گلدستاین,Goldstein
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: گودل,، کورت,، ۱۹۰۶ - ۱۹۷۸م.,a01,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضیه,Godel's theorem,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria,a10,a10
Classification :
QA
۲۹
/
گ
۹
گ
۸ ۱۳۹۴
